Skip to content

Conversation

dannywillems
Copy link
Member

@dannywillems dannywillems commented Sep 16, 2025

This depends on o1-labs/circuit-blobs#9.

@dannywillems dannywillems force-pushed the dw/rename-org-circuit-blobs branch from 769f0b8 to e915705 Compare September 17, 2025 09:49
@dannywillems dannywillems force-pushed the dw/use-updated-circuits branch from 9d19372 to fa20769 Compare September 17, 2025 10:03
@dannywillems dannywillems changed the base branch from dw/rename-org-circuit-blobs to develop September 17, 2025 12:14
@dannywillems dannywillems force-pushed the dw/use-updated-circuits branch 4 times, most recently from fad55f5 to 3b774cb Compare September 23, 2025 11:49
@dannywillems dannywillems self-assigned this Sep 23, 2025
@yamimaio yamimaio moved this to In Progress in Rust node Sep 24, 2025
@dannywillems dannywillems force-pushed the dw/use-updated-circuits branch 2 times, most recently from 445a959 to 01830cc Compare October 2, 2025 09:33
@0xMimir 0xMimir force-pushed the dw/use-updated-circuits branch 3 times, most recently from d5d4ba6 to 01830cc Compare October 7, 2025 07:29
@0xMimir 0xMimir force-pushed the dw/use-updated-circuits branch from 01830cc to 1d2066d Compare October 7, 2025 07:30
@0xMimir 0xMimir enabled auto-merge October 7, 2025 10:03
@dannywillems dannywillems disabled auto-merge October 7, 2025 10:04
@dannywillems dannywillems merged commit ec712fd into develop Oct 7, 2025
60 of 62 checks passed
@dannywillems dannywillems moved this from In Progress to Done in Rust node Oct 7, 2025
@dannywillems dannywillems deleted the dw/use-updated-circuits branch October 16, 2025 11:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

Circuits: update with the latest 3.2.0 release

2 participants